composition of inverse functions